(1
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 82)
  ("(var3 stable)" 82 291)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 78)
  ("(var4 stable)" 78 291)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 82)
  ("(var1 stable)" 82 291)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 80)
  ("(var2 up)" 80 180)
  ("(var2 stable)" 180 182)
  ("(var2 up)" 182 184)
  ("(var2 down)" 184 188)
  ("(var2 up)" 188 191)
  ("(var2 stable)" 191 291)
 )
)
(2
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 115)
  ("(var3 stable)" 115 345)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 83)
  ("(var4 up)" 83 111)
  ("(var4 stable)" 111 345)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 115)
  ("(var1 down)" 115 117)
  ("(var1 stable)" 117 345)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 236)
  ("(var2 down)" 236 238)
  ("(var2 stable)" 238 345)
 )
)
(3
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 104)
  ("(var3 stable)" 104 343)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 79)
  ("(var4 stable)" 79 81)
  ("(var4 up)" 81 109)
  ("(var4 stable)" 109 343)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 109)
  ("(var1 down)" 109 111)
  ("(var1 up)" 111 113)
  ("(var1 stable)" 113 343)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 101)
  ("(var2 up)" 101 225)
  ("(var2 stable)" 225 227)
  ("(var2 up)" 227 229)
  ("(var2 stable)" 229 343)
 )
)
(4
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 101)
  ("(var3 stable)" 101 359)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 104)
  ("(var4 stable)" 104 359)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 103)
  ("(var1 stable)" 103 359)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 93)
  ("(var2 up)" 93 144)
  ("(var2 down)" 144 146)
  ("(var2 up)" 146 223)
  ("(var2 down)" 223 225)
  ("(var2 stable)" 225 356)
  ("(var2 down)" 356 359)
 )
)
(5
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 73)
  ("(var3 stable)" 73 308)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 73)
  ("(var4 stable)" 73 308)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 73)
  ("(var1 stable)" 73 308)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 185)
  ("(var2 stable)" 185 188)
  ("(var2 up)" 188 190)
  ("(var2 stable)" 190 308)
 )
)
(6
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 90)
  ("(var3 down)" 90 92)
  ("(var3 stable)" 92 334)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 91)
  ("(var4 stable)" 91 93)
  ("(var4 up)" 93 96)
  ("(var4 stable)" 96 334)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 93)
  ("(var1 stable)" 93 334)
  ("(var2 stable)" 0 79)
  ("(var2 down)" 79 83)
  ("(var2 up)" 83 119)
  ("(var2 stable)" 119 122)
  ("(var2 up)" 122 215)
  ("(var2 stable)" 215 334)
 )
)
(7
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 79)
  ("(var3 stable)" 79 312)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 71)
  ("(var4 stable)" 71 312)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 72)
  ("(var1 stable)" 72 312)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 up)" 64 186)
  ("(var2 down)" 186 188)
  ("(var2 stable)" 188 312)
 )
)
(8
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 75)
  ("(var3 stable)" 75 296)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 72)
  ("(var4 stable)" 72 296)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 76)
  ("(var1 stable)" 76 296)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 68)
  ("(var2 up)" 68 107)
  ("(var2 stable)" 107 109)
  ("(var2 up)" 109 182)
  ("(var2 down)" 182 184)
  ("(var2 stable)" 184 296)
 )
)
(9
 (
  ("(var3 stable)" 0 92)
  ("(var3 up)" 92 123)
  ("(var3 stable)" 123 372)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 125)
  ("(var4 stable)" 125 127)
  ("(var4 up)" 127 129)
  ("(var4 stable)" 129 372)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 123)
  ("(var1 stable)" 123 372)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 stable)" 113 153)
  ("(var2 up)" 153 211)
  ("(var2 down)" 211 213)
  ("(var2 up)" 213 245)
  ("(var2 stable)" 245 372)
 )
)
(10
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 113)
  ("(var3 stable)" 113 359)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 114)
  ("(var4 stable)" 114 359)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 123)
  ("(var1 stable)" 123 359)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 stable)" 107 143)
  ("(var2 up)" 143 257)
  ("(var2 stable)" 257 359)
 )
)
(11
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 61)
  ("(var3 stable)" 61 64)
  ("(var3 up)" 64 93)
  ("(var3 down)" 93 95)
  ("(var3 stable)" 95 347)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 96)
  ("(var4 stable)" 96 347)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 99)
  ("(var1 stable)" 99 347)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 up)" 85 196)
  ("(var2 stable)" 196 347)
 )
)
(12
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 93)
  ("(var3 stable)" 93 330)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 90)
  ("(var4 stable)" 90 330)
  ("(var1 stable)" 0 60)
  ("(var1 up)" 60 90)
  ("(var1 stable)" 90 330)
  ("(var2 stable)" 0 82)
  ("(var2 down)" 82 84)
  ("(var2 up)" 84 205)
  ("(var2 stable)" 205 330)
 )
)
(13
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 71)
  ("(var3 stable)" 71 73)
  ("(var3 up)" 73 75)
  ("(var3 stable)" 75 303)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 46)
  ("(var4 stable)" 46 48)
  ("(var4 up)" 48 70)
  ("(var4 stable)" 70 303)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 73)
  ("(var1 stable)" 73 303)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 up)" 64 194)
  ("(var2 stable)" 194 303)
 )
)
(14
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 103)
  ("(var3 stable)" 103 352)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 71)
  ("(var4 stable)" 71 73)
  ("(var4 up)" 73 100)
  ("(var4 stable)" 100 102)
  ("(var4 up)" 102 105)
  ("(var4 stable)" 105 352)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 71)
  ("(var1 down)" 71 74)
  ("(var1 up)" 74 101)
  ("(var1 stable)" 101 352)
  ("(var2 stable)" 0 92)
  ("(var2 down)" 92 94)
  ("(var2 stable)" 94 130)
  ("(var2 up)" 130 232)
  ("(var2 stable)" 232 352)
 )
)
(15
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 109)
  ("(var3 stable)" 109 353)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 111)
  ("(var4 stable)" 111 353)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 108)
  ("(var1 stable)" 108 353)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 247)
  ("(var2 stable)" 247 353)
 )
)
(16
 (
  ("(var3 stable)" 0 94)
  ("(var3 up)" 94 96)
  ("(var3 down)" 96 98)
  ("(var3 up)" 98 121)
  ("(var3 stable)" 121 124)
  ("(var3 up)" 124 127)
  ("(var3 down)" 127 129)
  ("(var3 up)" 129 131)
  ("(var3 stable)" 131 377)
  ("(var4 stable)" 0 92)
  ("(var4 up)" 92 130)
  ("(var4 stable)" 130 375)
  ("(var4 down)" 375 377)
  ("(var1 stable)" 0 96)
  ("(var1 up)" 96 131)
  ("(var1 down)" 131 133)
  ("(var1 up)" 133 135)
  ("(var1 stable)" 135 375)
  ("(var1 up)" 375 377)
  ("(var2 stable)" 0 115)
  ("(var2 down)" 115 117)
  ("(var2 up)" 117 265)
  ("(var2 down)" 265 267)
  ("(var2 up)" 267 269)
  ("(var2 stable)" 269 377)
 )
)
(17
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 132)
  ("(var3 stable)" 132 383)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 93)
  ("(var4 up)" 93 136)
  ("(var4 down)" 136 138)
  ("(var4 stable)" 138 383)
  ("(var1 stable)" 0 90)
  ("(var1 up)" 90 134)
  ("(var1 stable)" 134 383)
  ("(var2 stable)" 0 122)
  ("(var2 down)" 122 124)
  ("(var2 stable)" 124 163)
  ("(var2 up)" 163 165)
  ("(var2 stable)" 165 167)
  ("(var2 up)" 167 254)
  ("(var2 down)" 254 256)
  ("(var2 up)" 256 259)
  ("(var2 stable)" 259 383)
 )
)
(18
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 76)
  ("(var3 stable)" 76 317)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 72)
  ("(var4 stable)" 72 317)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 41)
  ("(var1 down)" 41 43)
  ("(var1 up)" 43 75)
  ("(var1 stable)" 75 317)
  ("(var2 down)" 0 3)
  ("(var2 stable)" 3 65)
  ("(var2 down)" 65 67)
  ("(var2 up)" 67 194)
  ("(var2 stable)" 194 197)
  ("(var2 up)" 197 199)
  ("(var2 stable)" 199 317)
 )
)
(19
 (
  ("(var3 stable)" 0 92)
  ("(var3 up)" 92 124)
  ("(var3 stable)" 124 368)
  ("(var4 stable)" 0 96)
  ("(var4 up)" 96 124)
  ("(var4 stable)" 124 368)
  ("(var1 stable)" 0 96)
  ("(var1 up)" 96 98)
  ("(var1 stable)" 98 100)
  ("(var1 up)" 100 129)
  ("(var1 stable)" 129 368)
  ("(var2 stable)" 0 115)
  ("(var2 down)" 115 117)
  ("(var2 stable)" 117 146)
  ("(var2 up)" 146 256)
  ("(var2 stable)" 256 368)
 )
)
(20
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 115)
  ("(var3 stable)" 115 343)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 86)
  ("(var4 down)" 86 88)
  ("(var4 up)" 88 113)
  ("(var4 stable)" 113 343)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 115)
  ("(var1 stable)" 115 343)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 up)" 107 231)
  ("(var2 stable)" 231 343)
 )
)
(21
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 104)
  ("(var3 stable)" 104 333)
  ("(var4 stable)" 0 73)
  ("(var4 up)" 73 98)
  ("(var4 stable)" 98 333)
  ("(var1 stable)" 0 68)
  ("(var1 up)" 68 99)
  ("(var1 stable)" 99 333)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 96)
  ("(var2 up)" 96 215)
  ("(var2 down)" 215 219)
  ("(var2 stable)" 219 333)
 )
)
(22
 (
  ("(var3 stable)" 0 43)
  ("(var3 down)" 43 45)
  ("(var3 up)" 45 72)
  ("(var3 stable)" 72 329)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 72)
  ("(var4 stable)" 72 329)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 73)
  ("(var1 down)" 73 75)
  ("(var1 up)" 75 80)
  ("(var1 stable)" 80 329)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 67)
  ("(var2 up)" 67 203)
  ("(var2 stable)" 203 329)
 )
)
(23
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 114)
  ("(var3 stable)" 114 352)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 82)
  ("(var4 stable)" 82 85)
  ("(var4 up)" 85 112)
  ("(var4 stable)" 112 352)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 113)
  ("(var1 down)" 113 115)
  ("(var1 stable)" 115 352)
  ("(var2 stable)" 0 103)
  ("(var2 down)" 103 107)
  ("(var2 up)" 107 228)
  ("(var2 stable)" 228 352)
 )
)
(24
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 108)
  ("(var3 stable)" 108 331)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 118)
  ("(var4 stable)" 118 331)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 107)
  ("(var1 stable)" 107 331)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 up)" 102 224)
  ("(var2 stable)" 224 331)
 )
)
(25
 (
  ("(var3 stable)" 0 42)
  ("(var3 up)" 42 78)
  ("(var3 stable)" 78 317)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 72)
  ("(var4 stable)" 72 74)
  ("(var4 up)" 74 76)
  ("(var4 stable)" 76 317)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 78)
  ("(var1 stable)" 78 317)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 201)
  ("(var2 stable)" 201 203)
  ("(var2 down)" 203 205)
  ("(var2 stable)" 205 315)
  ("(var2 down)" 315 317)
 )
)
(26
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 71)
  ("(var3 stable)" 71 311)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 73)
  ("(var4 stable)" 73 311)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 42)
  ("(var1 down)" 42 44)
  ("(var1 up)" 44 72)
  ("(var1 stable)" 72 311)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 stable)" 65 100)
  ("(var2 up)" 100 193)
  ("(var2 stable)" 193 311)
 )
)
(27
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 82)
  ("(var3 stable)" 82 84)
  ("(var3 up)" 84 109)
  ("(var3 stable)" 109 334)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 108)
  ("(var4 stable)" 108 334)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 109)
  ("(var1 stable)" 109 334)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 102)
  ("(var2 up)" 102 233)
  ("(var2 stable)" 233 332)
  ("(var2 down)" 332 334)
 )
)
(28
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 77)
  ("(var3 stable)" 77 301)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 77)
  ("(var4 stable)" 77 301)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 80)
  ("(var1 stable)" 80 301)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 69)
  ("(var2 up)" 69 195)
  ("(var2 stable)" 195 301)
 )
)
(29
 (
  ("(var3 down)" 0 2)
  ("(var3 stable)" 2 41)
  ("(var3 up)" 41 69)
  ("(var3 stable)" 69 315)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 65)
  ("(var4 stable)" 65 67)
  ("(var4 up)" 67 70)
  ("(var4 stable)" 70 315)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 71)
  ("(var1 stable)" 71 315)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 61)
  ("(var2 up)" 61 192)
  ("(var2 stable)" 192 315)
 )
)
(30
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 91)
  ("(var3 stable)" 91 306)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 90)
  ("(var4 stable)" 90 306)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 92)
  ("(var1 stable)" 92 306)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 up)" 85 194)
  ("(var2 stable)" 194 306)
 )
)
(31
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 62)
  ("(var3 stable)" 62 288)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 64)
  ("(var4 stable)" 64 288)
  ("(var1 stable)" 0 31)
  ("(var1 up)" 31 59)
  ("(var1 stable)" 59 288)
  ("(var2 stable)" 0 51)
  ("(var2 down)" 51 53)
  ("(var2 stable)" 53 77)
  ("(var2 up)" 77 171)
  ("(var2 stable)" 171 288)
 )
)
(32
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 83)
  ("(var3 stable)" 83 341)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 55)
  ("(var4 stable)" 55 57)
  ("(var4 up)" 57 81)
  ("(var4 stable)" 81 85)
  ("(var4 up)" 85 90)
  ("(var4 stable)" 90 341)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 88)
  ("(var1 stable)" 88 341)
  ("(var2 stable)" 0 68)
  ("(var2 down)" 68 74)
  ("(var2 up)" 74 210)
  ("(var2 stable)" 210 341)
 )
)
(33
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 42)
  ("(var3 stable)" 42 44)
  ("(var3 up)" 44 66)
  ("(var3 stable)" 66 280)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 67)
  ("(var4 stable)" 67 280)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 68)
  ("(var1 stable)" 68 280)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 stable)" 59 88)
  ("(var2 up)" 88 167)
  ("(var2 stable)" 167 280)
 )
)
(34
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 88)
  ("(var3 stable)" 88 314)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 84)
  ("(var4 stable)" 84 314)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 87)
  ("(var1 stable)" 87 312)
  ("(var1 down)" 312 314)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 80)
  ("(var2 up)" 80 192)
  ("(var2 stable)" 192 314)
 )
)
(35
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 102)
  ("(var3 stable)" 102 337)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 104)
  ("(var4 stable)" 104 106)
  ("(var4 up)" 106 108)
  ("(var4 stable)" 108 337)
  ("(var1 stable)" 0 70)
  ("(var1 up)" 70 72)
  ("(var1 stable)" 72 75)
  ("(var1 up)" 75 104)
  ("(var1 down)" 104 106)
  ("(var1 stable)" 106 337)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 93)
  ("(var2 stable)" 93 126)
  ("(var2 up)" 126 220)
  ("(var2 stable)" 220 337)
 )
)
(36
 (
  ("(var3 stable)" 0 38)
  ("(var3 up)" 38 68)
  ("(var3 stable)" 68 286)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 71)
  ("(var4 stable)" 71 286)
  ("(var1 stable)" 0 38)
  ("(var1 up)" 38 68)
  ("(var1 stable)" 68 70)
  ("(var1 up)" 70 72)
  ("(var1 down)" 72 74)
  ("(var1 stable)" 74 286)
  ("(var2 stable)" 0 59)
  ("(var2 up)" 59 192)
  ("(var2 stable)" 192 286)
 )
)
(37
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 82)
  ("(var3 stable)" 82 84)
  ("(var3 up)" 84 111)
  ("(var3 stable)" 111 318)
  ("(var4 stable)" 0 77)
  ("(var4 down)" 77 79)
  ("(var4 up)" 79 104)
  ("(var4 stable)" 104 318)
  ("(var1 stable)" 0 74)
  ("(var1 up)" 74 106)
  ("(var1 down)" 106 108)
  ("(var1 stable)" 108 318)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 98)
  ("(var2 stable)" 98 129)
  ("(var2 up)" 129 221)
  ("(var2 stable)" 221 318)
 )
)
(38
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 110)
  ("(var3 stable)" 110 322)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 110)
  ("(var4 stable)" 110 322)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 111)
  ("(var1 stable)" 111 322)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 103)
  ("(var2 up)" 103 106)
  ("(var2 down)" 106 109)
  ("(var2 up)" 109 193)
  ("(var2 down)" 193 195)
  ("(var2 up)" 195 201)
  ("(var2 down)" 201 203)
  ("(var2 up)" 203 205)
  ("(var2 stable)" 205 322)
 )
)
(39
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 101)
  ("(var3 stable)" 101 331)
  ("(var3 up)" 331 333)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 106)
  ("(var4 stable)" 106 333)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 105)
  ("(var1 stable)" 105 333)
  ("(var2 stable)" 0 94)
  ("(var2 down)" 94 96)
  ("(var2 up)" 96 135)
  ("(var2 stable)" 135 137)
  ("(var2 up)" 137 218)
  ("(var2 stable)" 218 333)
 )
)
(40
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 76)
  ("(var3 stable)" 76 327)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 73)
  ("(var4 down)" 73 75)
  ("(var4 up)" 75 77)
  ("(var4 stable)" 77 327)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 75)
  ("(var1 stable)" 75 327)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 68)
  ("(var2 up)" 68 113)
  ("(var2 down)" 113 115)
  ("(var2 up)" 115 198)
  ("(var2 down)" 198 200)
  ("(var2 up)" 200 203)
  ("(var2 stable)" 203 327)
 )
)
(41
 (
  ("(var3 stable)" 0 72)
  ("(var3 up)" 72 109)
  ("(var3 stable)" 109 347)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 105)
  ("(var4 stable)" 105 347)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 112)
  ("(var1 stable)" 112 347)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 99)
  ("(var2 up)" 99 203)
  ("(var2 down)" 203 206)
  ("(var2 up)" 206 208)
  ("(var2 stable)" 208 347)
 )
)
(42
 (
  ("(var3 stable)" 0 59)
  ("(var3 up)" 59 87)
  ("(var3 stable)" 87 338)
  ("(var3 down)" 338 340)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 86)
  ("(var4 stable)" 86 340)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 87)
  ("(var1 stable)" 87 340)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 82)
  ("(var2 stable)" 82 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 217)
  ("(var2 stable)" 217 340)
 )
)
(43
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 72)
  ("(var3 stable)" 72 295)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 72)
  ("(var4 stable)" 72 295)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 74)
  ("(var1 stable)" 74 295)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 67)
  ("(var2 up)" 67 187)
  ("(var2 stable)" 187 295)
 )
)
(44
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 63)
  ("(var3 stable)" 63 302)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 61)
  ("(var4 stable)" 61 302)
  ("(var1 stable)" 0 30)
  ("(var1 up)" 30 32)
  ("(var1 down)" 32 34)
  ("(var1 up)" 34 65)
  ("(var1 stable)" 65 300)
  ("(var1 down)" 300 302)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 55)
  ("(var2 stable)" 55 92)
  ("(var2 up)" 92 159)
  ("(var2 down)" 159 161)
  ("(var2 up)" 161 164)
  ("(var2 stable)" 164 302)
 )
)
(45
 (
  ("(var3 stable)" 0 76)
  ("(var3 up)" 76 111)
  ("(var3 stable)" 111 354)
  ("(var4 stable)" 0 71)
  ("(var4 up)" 71 103)
  ("(var4 stable)" 103 105)
  ("(var4 up)" 105 107)
  ("(var4 stable)" 107 354)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 103)
  ("(var1 down)" 103 105)
  ("(var1 stable)" 105 354)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 up)" 97 217)
  ("(var2 stable)" 217 354)
 )
)
(46
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 111)
  ("(var3 stable)" 111 336)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 106)
  ("(var4 stable)" 106 108)
  ("(var4 up)" 108 112)
  ("(var4 stable)" 112 336)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 81)
  ("(var1 stable)" 81 84)
  ("(var1 up)" 84 106)
  ("(var1 stable)" 106 108)
  ("(var1 up)" 108 111)
  ("(var1 stable)" 111 336)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 stable)" 102 137)
  ("(var2 up)" 137 227)
  ("(var2 stable)" 227 336)
 )
)
(47
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 68)
  ("(var3 stable)" 68 297)
  ("(var4 stable)" 0 32)
  ("(var4 up)" 32 34)
  ("(var4 down)" 34 36)
  ("(var4 up)" 36 64)
  ("(var4 stable)" 64 297)
  ("(var1 stable)" 0 32)
  ("(var1 up)" 32 68)
  ("(var1 stable)" 68 297)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 57)
  ("(var2 stable)" 57 93)
  ("(var2 up)" 93 190)
  ("(var2 stable)" 190 297)
 )
)
(48
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 73)
  ("(var3 stable)" 73 300)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 68)
  ("(var4 stable)" 68 300)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 71)
  ("(var1 stable)" 71 300)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 179)
  ("(var2 stable)" 179 300)
 )
)
(49
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 78)
  ("(var3 stable)" 78 320)
  ("(var4 stable)" 0 44)
  ("(var4 up)" 44 73)
  ("(var4 stable)" 73 320)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 75)
  ("(var1 stable)" 75 320)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 up)" 67 195)
  ("(var2 down)" 195 197)
  ("(var2 up)" 197 199)
  ("(var2 down)" 199 201)
  ("(var2 up)" 201 203)
  ("(var2 stable)" 203 320)
 )
)
(50
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 72)
  ("(var3 stable)" 72 335)
  ("(var4 stable)" 0 40)
  ("(var4 up)" 40 42)
  ("(var4 down)" 42 46)
  ("(var4 up)" 46 74)
  ("(var4 stable)" 74 335)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 47)
  ("(var1 down)" 47 49)
  ("(var1 up)" 49 74)
  ("(var1 stable)" 74 335)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 68)
  ("(var2 up)" 68 219)
  ("(var2 down)" 219 223)
  ("(var2 stable)" 223 335)
 )
)
(51
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 74)
  ("(var3 stable)" 74 320)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 78)
  ("(var4 stable)" 78 320)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 77)
  ("(var1 stable)" 77 320)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 stable)" 67 93)
  ("(var2 up)" 93 98)
  ("(var2 stable)" 98 101)
  ("(var2 up)" 101 203)
  ("(var2 stable)" 203 320)
 )
)
(52
 (
  ("(var3 stable)" 0 71)
  ("(var3 down)" 71 74)
  ("(var3 up)" 74 100)
  ("(var3 stable)" 100 341)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 102)
  ("(var4 stable)" 102 341)
  ("(var1 stable)" 0 72)
  ("(var1 up)" 72 100)
  ("(var1 stable)" 100 341)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 95)
  ("(var2 up)" 95 222)
  ("(var2 down)" 222 224)
  ("(var2 stable)" 224 341)
 )
)
(53
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 122)
  ("(var3 stable)" 122 341)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 109)
  ("(var4 stable)" 109 111)
  ("(var4 up)" 111 115)
  ("(var4 stable)" 115 341)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 116)
  ("(var1 stable)" 116 341)
  ("(var2 stable)" 0 103)
  ("(var2 down)" 103 105)
  ("(var2 up)" 105 232)
  ("(var2 stable)" 232 341)
 )
)
(54
 (
  ("(var3 stable)" 0 84)
  ("(var3 up)" 84 114)
  ("(var3 stable)" 114 353)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 115)
  ("(var4 stable)" 115 353)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 117)
  ("(var1 stable)" 117 353)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 up)" 106 154)
  ("(var2 down)" 154 156)
  ("(var2 up)" 156 239)
  ("(var2 down)" 239 241)
  ("(var2 up)" 241 245)
  ("(var2 stable)" 245 353)
 )
)
(55
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 73)
  ("(var3 stable)" 73 75)
  ("(var3 up)" 75 77)
  ("(var3 stable)" 77 79)
  ("(var3 up)" 79 81)
  ("(var3 stable)" 81 320)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 73)
  ("(var4 stable)" 73 320)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 43)
  ("(var1 stable)" 43 46)
  ("(var1 up)" 46 77)
  ("(var1 stable)" 77 320)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 stable)" 67 105)
  ("(var2 up)" 105 173)
  ("(var2 down)" 173 175)
  ("(var2 up)" 175 213)
  ("(var2 stable)" 213 320)
 )
)
(56
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 82)
  ("(var3 down)" 82 84)
  ("(var3 stable)" 84 313)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 81)
  ("(var4 stable)" 81 313)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 84)
  ("(var1 stable)" 84 313)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 73)
  ("(var2 up)" 73 207)
  ("(var2 stable)" 207 313)
 )
)
(57
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 122)
  ("(var3 down)" 122 124)
  ("(var3 up)" 124 126)
  ("(var3 stable)" 126 377)
  ("(var4 stable)" 0 92)
  ("(var4 up)" 92 123)
  ("(var4 stable)" 123 377)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 90)
  ("(var1 stable)" 90 93)
  ("(var1 up)" 93 123)
  ("(var1 stable)" 123 377)
  ("(var2 stable)" 0 114)
  ("(var2 down)" 114 116)
  ("(var2 up)" 116 234)
  ("(var2 down)" 234 236)
  ("(var2 up)" 236 241)
  ("(var2 down)" 241 243)
  ("(var2 up)" 243 245)
  ("(var2 stable)" 245 377)
 )
)
(58
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 76)
  ("(var3 stable)" 76 326)
  ("(var4 up)" 0 2)
  ("(var4 stable)" 2 41)
  ("(var4 up)" 41 68)
  ("(var4 stable)" 68 70)
  ("(var4 up)" 70 77)
  ("(var4 stable)" 77 326)
  ("(var1 up)" 0 2)
  ("(var1 stable)" 2 40)
  ("(var1 up)" 40 77)
  ("(var1 down)" 77 79)
  ("(var1 up)" 79 81)
  ("(var1 stable)" 81 326)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 stable)" 65 109)
  ("(var2 up)" 109 199)
  ("(var2 stable)" 199 322)
  ("(var2 down)" 322 326)
 )
)
(59
 (
  ("(var3 stable)" 0 63)
  ("(var3 down)" 63 66)
  ("(var3 up)" 66 90)
  ("(var3 stable)" 90 321)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 89)
  ("(var4 stable)" 89 321)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 98)
  ("(var1 stable)" 98 321)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 88)
  ("(var2 up)" 88 117)
  ("(var2 down)" 117 119)
  ("(var2 up)" 119 222)
  ("(var2 stable)" 222 321)
 )
)
(60
 (
  ("(var3 stable)" 0 56)
  ("(var3 up)" 56 86)
  ("(var3 stable)" 86 303)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 82)
  ("(var4 stable)" 82 303)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 88)
  ("(var1 stable)" 88 303)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 stable)" 77 110)
  ("(var2 up)" 110 112)
  ("(var2 stable)" 112 114)
  ("(var2 up)" 114 198)
  ("(var2 stable)" 198 303)
 )
)
(61
 (
  ("(var3 stable)" 0 36)
  ("(var3 up)" 36 76)
  ("(var3 stable)" 76 295)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 69)
  ("(var4 stable)" 69 295)
  ("(var1 stable)" 0 37)
  ("(var1 up)" 37 69)
  ("(var1 stable)" 69 295)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 up)" 59 181)
  ("(var2 stable)" 181 295)
 )
)
(62
 (
  ("(var3 stable)" 0 100)
  ("(var3 up)" 100 102)
  ("(var3 stable)" 102 105)
  ("(var3 up)" 105 131)
  ("(var3 stable)" 131 371)
  ("(var4 stable)" 0 99)
  ("(var4 up)" 99 136)
  ("(var4 stable)" 136 371)
  ("(var1 stable)" 0 101)
  ("(var1 up)" 101 130)
  ("(var1 stable)" 130 371)
  ("(var2 stable)" 0 119)
  ("(var2 down)" 119 121)
  ("(var2 up)" 121 165)
  ("(var2 down)" 165 167)
  ("(var2 up)" 167 268)
  ("(var2 stable)" 268 371)
 )
)
(63
 (
  ("(var3 stable)" 0 60)
  ("(var3 up)" 60 84)
  ("(var3 stable)" 84 310)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 53)
  ("(var4 up)" 53 80)
  ("(var4 stable)" 80 310)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 90)
  ("(var1 stable)" 90 310)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 80)
  ("(var2 up)" 80 179)
  ("(var2 down)" 179 181)
  ("(var2 up)" 181 184)
  ("(var2 stable)" 184 310)
 )
)
(64
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 111)
  ("(var3 stable)" 111 346)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 88)
  ("(var4 stable)" 88 90)
  ("(var4 up)" 90 113)
  ("(var4 down)" 113 115)
  ("(var4 stable)" 115 346)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 115)
  ("(var1 stable)" 115 346)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 stable)" 106 139)
  ("(var2 up)" 139 141)
  ("(var2 down)" 141 143)
  ("(var2 up)" 143 228)
  ("(var2 stable)" 228 346)
 )
)
(65
 (
  ("(var3 stable)" 0 30)
  ("(var3 up)" 30 63)
  ("(var3 down)" 63 65)
  ("(var3 up)" 65 67)
  ("(var3 stable)" 67 274)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 64)
  ("(var4 stable)" 64 274)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 65)
  ("(var1 stable)" 65 274)
  ("(var2 stable)" 0 53)
  ("(var2 down)" 53 55)
  ("(var2 stable)" 55 81)
  ("(var2 up)" 81 170)
  ("(var2 stable)" 170 274)
 )
)
(66
 (
  ("(var3 stable)" 0 94)
  ("(var3 up)" 94 125)
  ("(var3 stable)" 125 392)
  ("(var4 stable)" 0 99)
  ("(var4 up)" 99 129)
  ("(var4 stable)" 129 392)
  ("(var1 stable)" 0 96)
  ("(var1 up)" 96 127)
  ("(var1 stable)" 127 392)
  ("(var2 stable)" 0 115)
  ("(var2 down)" 115 119)
  ("(var2 up)" 119 165)
  ("(var2 stable)" 165 167)
  ("(var2 up)" 167 245)
  ("(var2 down)" 245 253)
  ("(var2 up)" 253 262)
  ("(var2 stable)" 262 392)
 )
)
(67
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 85)
  ("(var3 stable)" 85 316)
  ("(var4 down)" 0 3)
  ("(var4 stable)" 3 59)
  ("(var4 up)" 59 87)
  ("(var4 stable)" 87 316)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 83)
  ("(var1 stable)" 83 85)
  ("(var1 up)" 85 88)
  ("(var1 stable)" 88 316)
  ("(var2 stable)" 0 76)
  ("(var2 down)" 76 78)
  ("(var2 up)" 78 204)
  ("(var2 stable)" 204 316)
 )
)
(68
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 73)
  ("(var3 stable)" 73 297)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 70)
  ("(var4 stable)" 70 297)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 79)
  ("(var1 stable)" 79 297)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 stable)" 67 101)
  ("(var2 up)" 101 185)
  ("(var2 stable)" 185 297)
 )
)
(69
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 116)
  ("(var3 stable)" 116 347)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 112)
  ("(var4 stable)" 112 347)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 120)
  ("(var1 stable)" 120 347)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 stable)" 106 140)
  ("(var2 up)" 140 203)
  ("(var2 down)" 203 205)
  ("(var2 up)" 205 244)
  ("(var2 stable)" 244 347)
 )
)
(70
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 91)
  ("(var3 stable)" 91 308)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 96)
  ("(var4 stable)" 96 308)
  ("(var1 stable)" 0 67)
  ("(var1 up)" 67 97)
  ("(var1 stable)" 97 308)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 up)" 87 220)
  ("(var2 stable)" 220 308)
 )
)
(71
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 87)
  ("(var3 stable)" 87 323)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 88)
  ("(var4 stable)" 88 323)
  ("(var1 stable)" 0 56)
  ("(var1 up)" 56 91)
  ("(var1 stable)" 91 323)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 stable)" 79 120)
  ("(var2 up)" 120 205)
  ("(var2 stable)" 205 323)
 )
)
(72
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 86)
  ("(var3 stable)" 86 335)
  ("(var4 stable)" 0 61)
  ("(var4 up)" 61 97)
  ("(var4 stable)" 97 335)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 91)
  ("(var1 stable)" 91 335)
  ("(var2 stable)" 0 79)
  ("(var2 down)" 79 83)
  ("(var2 up)" 83 218)
  ("(var2 stable)" 218 335)
 )
)
(73
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 77)
  ("(var3 stable)" 77 294)
  ("(var4 stable)" 0 46)
  ("(var4 up)" 46 77)
  ("(var4 stable)" 77 294)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 79)
  ("(var1 stable)" 79 294)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 68)
  ("(var2 stable)" 68 77)
  ("(var2 down)" 77 79)
  ("(var2 up)" 79 199)
  ("(var2 stable)" 199 294)
 )
)
(74
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 90)
  ("(var3 stable)" 90 304)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 86)
  ("(var4 stable)" 86 304)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 87)
  ("(var1 stable)" 87 304)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 80)
  ("(var2 up)" 80 203)
  ("(var2 stable)" 203 304)
 )
)
(75
 (
  ("(var3 stable)" 0 34)
  ("(var3 up)" 34 63)
  ("(var3 stable)" 63 279)
  ("(var4 stable)" 0 36)
  ("(var4 up)" 36 61)
  ("(var4 stable)" 61 279)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 35)
  ("(var1 stable)" 35 37)
  ("(var1 up)" 37 62)
  ("(var1 stable)" 62 279)
  ("(var2 stable)" 0 54)
  ("(var2 down)" 54 56)
  ("(var2 up)" 56 176)
  ("(var2 stable)" 176 279)
 )
)
(76
 (
  ("(var3 stable)" 0 93)
  ("(var3 up)" 93 135)
  ("(var3 stable)" 135 387)
  ("(var4 stable)" 0 100)
  ("(var4 up)" 100 135)
  ("(var4 stable)" 135 387)
  ("(var1 stable)" 0 97)
  ("(var1 up)" 97 124)
  ("(var1 stable)" 124 126)
  ("(var1 up)" 126 129)
  ("(var1 stable)" 129 387)
  ("(var2 stable)" 0 118)
  ("(var2 down)" 118 123)
  ("(var2 up)" 123 163)
  ("(var2 stable)" 163 165)
  ("(var2 up)" 165 275)
  ("(var2 stable)" 275 387)
 )
)
(77
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 106)
  ("(var3 stable)" 106 334)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 109)
  ("(var4 stable)" 109 332)
  ("(var4 down)" 332 334)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 108)
  ("(var1 stable)" 108 334)
  ("(var2 stable)" 0 98)
  ("(var2 down)" 98 100)
  ("(var2 up)" 100 208)
  ("(var2 stable)" 208 334)
 )
)
(78
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 50)
  ("(var3 down)" 50 52)
  ("(var3 up)" 52 89)
  ("(var3 stable)" 89 340)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 57)
  ("(var4 stable)" 57 59)
  ("(var4 up)" 59 69)
  ("(var4 stable)" 69 71)
  ("(var4 up)" 71 84)
  ("(var4 stable)" 84 87)
  ("(var4 up)" 87 89)
  ("(var4 stable)" 89 340)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 85)
  ("(var1 down)" 85 87)
  ("(var1 up)" 87 90)
  ("(var1 stable)" 90 340)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 78)
  ("(var2 up)" 78 197)
  ("(var2 stable)" 197 340)
 )
)
(79
 (
  ("(var3 stable)" 0 52)
  ("(var3 up)" 52 86)
  ("(var3 down)" 86 88)
  ("(var3 stable)" 88 315)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 89)
  ("(var4 down)" 89 91)
  ("(var4 stable)" 91 315)
  ("(var1 stable)" 0 49)
  ("(var1 up)" 49 84)
  ("(var1 down)" 84 86)
  ("(var1 up)" 86 92)
  ("(var1 stable)" 92 315)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 76)
  ("(var2 up)" 76 115)
  ("(var2 down)" 115 118)
  ("(var2 up)" 118 172)
  ("(var2 stable)" 172 175)
  ("(var2 up)" 175 218)
  ("(var2 stable)" 218 315)
 )
)
(80
 (
  ("(var3 stable)" 0 76)
  ("(var3 up)" 76 104)
  ("(var3 stable)" 104 363)
  ("(var4 stable)" 0 74)
  ("(var4 up)" 74 102)
  ("(var4 stable)" 102 104)
  ("(var4 up)" 104 106)
  ("(var4 stable)" 106 363)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 109)
  ("(var1 stable)" 109 363)
  ("(var2 stable)" 0 97)
  ("(var2 down)" 97 102)
  ("(var2 up)" 102 142)
  ("(var2 stable)" 142 144)
  ("(var2 up)" 144 247)
  ("(var2 stable)" 247 363)
 )
)
(81
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 127)
  ("(var3 stable)" 127 379)
  ("(var4 stable)" 0 91)
  ("(var4 up)" 91 127)
  ("(var4 stable)" 127 379)
  ("(var1 stable)" 0 95)
  ("(var1 up)" 95 101)
  ("(var1 down)" 101 103)
  ("(var1 up)" 103 119)
  ("(var1 stable)" 119 379)
  ("(var2 stable)" 0 112)
  ("(var2 down)" 112 114)
  ("(var2 up)" 114 257)
  ("(var2 stable)" 257 379)
 )
)
(82
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 98)
  ("(var3 stable)" 98 100)
  ("(var3 up)" 100 102)
  ("(var3 stable)" 102 332)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 104)
  ("(var4 stable)" 104 332)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 100)
  ("(var1 stable)" 100 330)
  ("(var1 down)" 330 332)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 92)
  ("(var2 up)" 92 191)
  ("(var2 stable)" 191 193)
  ("(var2 up)" 193 196)
  ("(var2 stable)" 196 332)
 )
)
(83
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 105)
  ("(var3 stable)" 105 347)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 108)
  ("(var4 stable)" 108 347)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 109)
  ("(var1 stable)" 109 347)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 101)
  ("(var2 stable)" 101 133)
  ("(var2 up)" 133 230)
  ("(var2 stable)" 230 347)
 )
)
(84
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 105)
  ("(var3 stable)" 105 320)
  ("(var4 stable)" 0 72)
  ("(var4 up)" 72 74)
  ("(var4 stable)" 74 78)
  ("(var4 up)" 78 105)
  ("(var4 stable)" 105 320)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 105)
  ("(var1 stable)" 105 320)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 100)
  ("(var2 up)" 100 227)
  ("(var2 stable)" 227 320)
 )
)
(85
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 82)
  ("(var3 stable)" 82 324)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 51)
  ("(var4 stable)" 51 53)
  ("(var4 up)" 53 88)
  ("(var4 down)" 88 91)
  ("(var4 stable)" 91 324)
  ("(var1 stable)" 0 52)
  ("(var1 up)" 52 84)
  ("(var1 stable)" 84 324)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 76)
  ("(var2 stable)" 76 112)
  ("(var2 up)" 112 210)
  ("(var2 stable)" 210 324)
 )
)
(86
 (
  ("(var3 stable)" 0 69)
  ("(var3 up)" 69 101)
  ("(var3 stable)" 101 321)
  ("(var4 stable)" 0 66)
  ("(var4 up)" 66 97)
  ("(var4 down)" 97 99)
  ("(var4 up)" 99 102)
  ("(var4 stable)" 102 321)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 98)
  ("(var1 stable)" 98 319)
  ("(var1 down)" 319 321)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 up)" 91 213)
  ("(var2 stable)" 213 321)
 )
)
(87
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 78)
  ("(var3 stable)" 78 322)
  ("(var4 stable)" 0 41)
  ("(var4 up)" 41 73)
  ("(var4 stable)" 73 75)
  ("(var4 up)" 75 77)
  ("(var4 stable)" 77 322)
  ("(var1 stable)" 0 42)
  ("(var1 up)" 42 75)
  ("(var1 stable)" 75 322)
  ("(var2 stable)" 0 65)
  ("(var2 down)" 65 67)
  ("(var2 up)" 67 191)
  ("(var2 down)" 191 193)
  ("(var2 up)" 193 195)
  ("(var2 stable)" 195 322)
 )
)
(88
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 103)
  ("(var3 stable)" 103 324)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 92)
  ("(var4 stable)" 92 324)
  ("(var1 stable)" 0 58)
  ("(var1 up)" 58 95)
  ("(var1 stable)" 95 324)
  ("(var2 stable)" 0 82)
  ("(var2 down)" 82 86)
  ("(var2 stable)" 86 120)
  ("(var2 up)" 120 214)
  ("(var2 stable)" 214 324)
 )
)
(89
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 94)
  ("(var3 stable)" 94 341)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 92)
  ("(var4 stable)" 92 94)
  ("(var4 up)" 94 98)
  ("(var4 stable)" 98 341)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 94)
  ("(var1 stable)" 94 96)
  ("(var1 up)" 96 99)
  ("(var1 stable)" 99 341)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 stable)" 87 117)
  ("(var2 up)" 117 232)
  ("(var2 stable)" 232 341)
 )
)
(90
 (
  ("(var3 stable)" 0 105)
  ("(var3 up)" 105 134)
  ("(var3 stable)" 134 393)
  ("(var4 stable)" 0 102)
  ("(var4 up)" 102 136)
  ("(var4 stable)" 136 393)
  ("(var1 stable)" 0 100)
  ("(var1 up)" 100 139)
  ("(var1 stable)" 139 393)
  ("(var2 stable)" 0 125)
  ("(var2 down)" 125 127)
  ("(var2 up)" 127 279)
  ("(var2 stable)" 279 393)
 )
)
(91
 (
  ("(var3 stable)" 0 90)
  ("(var3 up)" 90 116)
  ("(var3 stable)" 116 339)
  ("(var4 stable)" 0 91)
  ("(var4 up)" 91 115)
  ("(var4 stable)" 115 119)
  ("(var4 up)" 119 121)
  ("(var4 stable)" 121 339)
  ("(var1 stable)" 0 91)
  ("(var1 up)" 91 115)
  ("(var1 stable)" 115 339)
  ("(var2 stable)" 0 107)
  ("(var2 down)" 107 111)
  ("(var2 stable)" 111 135)
  ("(var2 up)" 135 227)
  ("(var2 stable)" 227 339)
 )
)
(92
 (
  ("(var3 stable)" 0 38)
  ("(var3 up)" 38 40)
  ("(var3 down)" 40 42)
  ("(var3 up)" 42 80)
  ("(var3 stable)" 80 330)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 72)
  ("(var4 down)" 72 74)
  ("(var4 stable)" 74 330)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 42)
  ("(var1 down)" 42 44)
  ("(var1 up)" 44 77)
  ("(var1 stable)" 77 330)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 66)
  ("(var2 stable)" 66 103)
  ("(var2 up)" 103 193)
  ("(var2 stable)" 193 330)
 )
)
(93
 (
  ("(var3 stable)" 0 27)
  ("(var3 up)" 27 56)
  ("(var3 stable)" 56 272)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 56)
  ("(var4 stable)" 56 272)
  ("(var1 stable)" 0 29)
  ("(var1 up)" 29 65)
  ("(var1 stable)" 65 272)
  ("(var2 stable)" 0 49)
  ("(var2 down)" 49 54)
  ("(var2 up)" 54 149)
  ("(var2 stable)" 149 272)
 )
)
(94
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 90)
  ("(var3 stable)" 90 328)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 63)
  ("(var4 up)" 63 92)
  ("(var4 stable)" 92 328)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 95)
  ("(var1 stable)" 95 328)
  ("(var2 stable)" 0 81)
  ("(var2 down)" 81 85)
  ("(var2 up)" 85 209)
  ("(var2 stable)" 209 328)
 )
)
(95
 (
  ("(var3 stable)" 0 57)
  ("(var3 up)" 57 94)
  ("(var3 stable)" 94 342)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 91)
  ("(var4 stable)" 91 342)
  ("(var1 stable)" 0 54)
  ("(var1 up)" 54 89)
  ("(var1 stable)" 89 342)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 up)" 79 227)
  ("(var2 down)" 227 229)
  ("(var2 up)" 229 231)
  ("(var2 stable)" 231 342)
 )
)
(96
 (
  ("(var3 stable)" 0 79)
  ("(var3 up)" 79 112)
  ("(var3 stable)" 112 346)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 107)
  ("(var4 down)" 107 109)
  ("(var4 stable)" 109 346)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 111)
  ("(var1 stable)" 111 346)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 up)" 102 237)
  ("(var2 stable)" 237 346)
 )
)
(97
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 65)
  ("(var3 stable)" 65 296)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 65)
  ("(var4 stable)" 65 296)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 70)
  ("(var1 stable)" 70 296)
  ("(var2 stable)" 0 55)
  ("(var2 down)" 55 59)
  ("(var2 up)" 59 193)
  ("(var2 stable)" 193 296)
 )
)
(98
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 110)
  ("(var3 stable)" 110 362)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 109)
  ("(var4 stable)" 109 362)
  ("(var1 stable)" 0 77)
  ("(var1 up)" 77 110)
  ("(var1 stable)" 110 362)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 up)" 103 237)
  ("(var2 stable)" 237 362)
 )
)
(99
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 83)
  ("(var3 down)" 83 85)
  ("(var3 stable)" 85 330)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 47)
  ("(var4 stable)" 47 49)
  ("(var4 up)" 49 76)
  ("(var4 stable)" 76 330)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 82)
  ("(var1 stable)" 82 330)
  ("(var2 stable)" 0 67)
  ("(var2 down)" 67 71)
  ("(var2 stable)" 71 83)
  ("(var2 up)" 83 213)
  ("(var2 stable)" 213 330)
 )
)
(100
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 90)
  ("(var3 stable)" 90 330)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 66)
  ("(var4 stable)" 66 68)
  ("(var4 up)" 68 94)
  ("(var4 stable)" 94 330)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 92)
  ("(var1 stable)" 92 330)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 up)" 85 212)
  ("(var2 down)" 212 214)
  ("(var2 up)" 214 216)
  ("(var2 stable)" 216 330)
 )
)
